Finitely presented modules over semihereditary rings

نویسنده

  • Francois Couchot
چکیده

We prove that each almost local-global semihereditary ring R has the stacked bases property and is almost Bézout. More precisely, if M is a finitely presented module, its torsion part tM is a direct sum of cyclic modules where the family of annihilators is an ascending chain of invertible ideals. These ideals are invariants of M . Moreover M/tM is a projective module which is isomorphic to a direct sum of finitely generated ideals. These ideals allow us to define a finitely generated ideal whose isomorphism class is an invariant of M . The idempotents and the positive integers defined by the rank of M/tM are invariants of M too. It follows that each semihereditary ring of Krull-dimension one or of finite character, in particular each hereditary ring, has the stacked base property. These results were already proved for Prüfer domains by Brewer, Katz, Klinger, Levy and Ullery. It is also shown that every semihereditary Bézout ring of countable character is an elementary divisor ring. It is well-known for a long time that every Dedekind domain satisfies the stacked bases property (or the Simultaneous Basis Property). See [8]. The definitions will be given below. More recently this result was extended to every Prüfer domain of finite character [10] or of Krull dimension one [2] and more generally to each almost local-global Prüfer domain [2]. The aim of this paper is to show that every almost local-global semihereditary ring, and in particular every hereditary ring, has the stacked bases property too. This extension is possible principally because every semihereditary ring has the following properties: • every finitely presented module is the direct sum of its torsion submodule with a projective module, • the annihilator of each finitely generated ideal is generated by an idempotent, • and each faithful finitely generated ideal contains a nonzerodivisor. So, the only difference with the domain case is that we have to manage nontrivial idempotents. Except for this difference, we do as Section 4 of Chapter V of [5]. All rings in this paper are unitary and commutative. We say that a ring R is of finite (resp. countable) character if every non-zero-divisor is contained in finitely (resp. countably) many maximal ideals. We say that R is local-global if each polynomial over R in finitely many indeterminates which admits unit values locally, admits unit values. A ring R is said to be almost local-global if for every faithful principal ideal I, R/I is local-global. 2000 Mathematics Subject Classification. 13E15, 13F05.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Finitely Presented Modules over Semihereditary Rings

We prove that each almost local-global semihereditary ring R has the stacked bases property and is almost Bézout. More precisely, if M is a finitely presented module, its torsion part tM is a direct sum of cyclic modules where the family of annihilators is an ascending chain of invertible ideals. These ideals are invariants of M. Moreover M/tM is a projective module which is isomorphic to a dir...

متن کامل

NONNIL-NOETHERIAN MODULES OVER COMMUTATIVE RINGS

In this paper we introduce a new class of modules which is closely related to the class of Noetherian modules. Let $R$ be a commutative ring with identity and let $M$ be an $R$-module such that $Nil(M)$ is a divided prime submodule of $M$. $M$ is called a Nonnil-Noetherian $R$-module if every nonnil submodule of $M$ is finitely generated. We prove that many of the properties of Noetherian modul...

متن کامل

Solving System of Linear Congruence Equations over some Rings by Decompositions of Modules

In this paper, we deal with solving systems of linear congruences over commutative CF-rings. More precisely, let R be a CF-ring (every finitely generated direct sum of cyclic R-modules has a canonical form) and let I_1,..., I_n be n ideals of R. We introduce congruence matrices theory techniques and exploit its application to solve the above system. Further, we investigate the application of co...

متن کامل

Ja n 20 05 FINITELY PRESENTED AND COHERENT ORDERED MODULES AND RINGS

We extend the usual definition of coherence, for modules over rings, to partially ordered right modules over a large class of partially ordered rings, called po-rings. In this situation, coherence is equivalent to saying that solution sets of finite systems of inequalities are finitely generated semimodules. Coherence for ordered rings and modules, which we call po-coherence, has the following ...

متن کامل

Diagonal Matrix Reduction over Refinement Rings

  Abstract: A ring R is called a refinement ring if the monoid of finitely generated projective R- modules is refinement.  Let R be a commutative refinement ring and M, N, be two finitely generated projective R-nodules, then M~N  if and only if Mm ~Nm for all maximal ideal m of  R. A rectangular matrix A over R admits diagonal reduction if there exit invertible matrices p and Q such that PAQ is...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004